function $(objname){
	return document.getElementById(objname);
}

